#!/bin/bash

for k in 1 
do
    files=$(ls ${1}/)
    for file in $files 
    do
        input="${1}/${file}"
        echo ""	
	time1=$(date)
	echo ${time1}
	echo "timeout 12000 ../../../KDefective -r ${input} -O solve -a MADEC -p -D Set -k ${k} -t 10800"
	timeout 12000 ../../../KDefective -r ${input} -O solve -a MADEC -p -D Set -k ${k} -t 10800
    done
done
